Enabling Automatic Module Generation for FCCM Compilers
نویسنده
چکیده
High-performance design flows for FPGAs rely on automatic module generation [1] [2] [3] to quickly create fast and dense circuits. This structured circuit generation becomes even more crucial when FPGAs are used as compute elements in configurable computing machines (FCCM), instead of just implementing glue logic. Many research efforts on automatic compilation to FCCM targets include module generation as a fundamental step [4] [5] [6]. However, no standardized interface currently exists that allows the main flow tools (compiler/synthesis, floorplanning, place and route) access to generator libraries. With the flexibility of today’s generators that are, e.g., able to restructure a circuit exploiting constant inputs [3], the total number of design alternatives covered by a single generator makes the simple static enumeration of all variations (e.g., in a file) infeasible.
منابع مشابه
Banach module valued separating maps and automatic continuity
For two algebras $A$ and $B$, a linear map $T:A longrightarrow B$ is called separating, if $xcdot y=0$ implies $Txcdot Ty=0$ for all $x,yin A$. The general form and the automatic continuity of separating maps between various Banach algebras have been studied extensively. In this paper, we first extend the notion of separating map for module case and then we give a description of a linear se...
متن کاملHuman-Computer Interaction for Semantic Disambiguation
Topics: User Interaction, Disambiguation text (either in a natural language or in a formal language) and an augmentor module that bridges the two and facilitates the involvement of a human in the processing loop. The background knowledge for such a Abstract system consists of an ontological domain model, a 1 We describe a semi-automatic semantic disgrammar and a machine-tractable dictionary (MT...
متن کاملAutomatic Code Generation Based on Formally Analyzed Uml Statechart Models
This paper aims at providing an efficient implementation pattern for source code level instantiation of UML statcharts. The code generation is based on extended hierarchical automata, the formal description method used as an intermediate representation of statecharts for model checking purposes, this way enabling automatic implementation of formally analyzed models. Since statecharts can automa...
متن کاملGenerating Dynamic Program Analysis Tools
Sophisticated instrumentation-based systems exist for building dynamic analysis tools but to use these systems a developer must write the instrumentation and analysis code by hand. This paper describes how analysis tools can be generated automatically by specifying analysis algorithms using attribute grammars based on the static and dynamic structure of the program being analysed. Using methods...
متن کاملAutomatic Derivation of Machine Descriptions
We describe a new system for automatic compiler retargeting. The system combines the advantages of C code generating compilers (fast retargeting) with the advantages of compilers based on speciica-tion driven code generation (fast native code generation). The basic idea is to use the native C compiler to discover architectural features (such as instruction set, register set, addressing modes, i...
متن کامل